Nuprl Definition : es_state_when
11,40
postcript
pdf
es_state_when(
es
;
e
)
== when-after(
e
;es_info(
es
);es-pred?(
es
);es_init(
es
);es-Trans(
es
);es_val(
es
);es_time(
es
)).1
latex
Definitions
t
.1
,
when-after(
e
;
info
;
pred?
;
init
;
Trans
;
val
;
time
)
,
es_info(
es
)
,
es-pred?(
es
)
,
es_init(
es
)
,
es-Trans(
es
)
,
es_val(
es
)
,
es_time(
es
)
FDL editor aliases
es_state_when
origin